COMMENT ⊗   VALID 00002 PAGES
C REC  PAGE   DESCRIPTION
C00001 00001
C00002 00002	.require "let.pub[let,jmc]" source
C00003 ENDMK
C⊗;
.require "let.pub[let,jmc]" source;
∂CSL Mr. Peter Gordon↓Addison-Wesley Publishing
↓Reading, Mass. 01867∞

Dear Mr. Gordon:

	At the suggestion of Roger Vaughan I am sending you a copy
of a preliminary edition of our book %2LISP - Programming and
Proving%1 for your review.  We intend to add two more chapters,
to revise Chapter 3 on program proving, and to prepare a camera ready
copy using Don Knuth's TEX and Stanford's Alphatype.

.sgn